481. Philosophical Logic and Artificial Intelligence
پدیدآورنده : edited by Richmond H. Thomason.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic.,Philosophy (General)
رده :
BC71
.
E358
1989
482. Philosophical and mathematical logic /
پدیدآورنده : Harrie de Swart.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Computer science.,Genetic epistemology.,Logic, Symbolic and mathematical.
رده :
BC131
483. Philosophical and mathematical logic /
پدیدآورنده : Harrie de Swart.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Logic, Symbolic and mathematical.,Logic.
رده :
BC135
.
S93
2018
484. Pictorial Essay,ایران اسلام رسپوبلیکاسی ایله آذربایجان رسپوبلیکاسی آراسیندا اقتصادی و سیاسی مناسیبتلر ۱۹۹۱-۱۹۹۷
پدیدآورنده : 20090215 00677nam1 22001692i 450 001000700000020002100007100004500028101000800073200016000081210014000241215000900381300004500390801003300435930001800468932000800486910001300494 608032 ,20090214 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
485. Power Algebras over Semirings
پدیدآورنده : by Jonathan S. Golan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Computational complexity.,Logic, Symbolic and mathematical.,Mathematics.
486. Principles of physical science /
پدیدآورنده : editor, Donald R. Franceschetti, PhD, The University of Memphis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Physical sciences.,Physical sciences.,SCIENCE / Essays.,SCIENCE / Reference.
رده :
Q158
.
5
.
P755
2017
487. Proceedings
پدیدآورنده : Symposium on Logic in Computer Science )4th: 9891: Asilomar Conference Center, Pacific Grove, California(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Electronic data processing- Mathematics- Congresses,، Logic, Symbolic and mathematical- Congresses
رده :
QA
76
.
9
.
M35
S94
1989
488. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
رده :
QA
76
.
9
.
M35
S94
1994
489. Proceedings of the Third International Conference on Soft Computing for Problem Solving :
پدیدآورنده : edited by Millie Pant, Kusum Deep, Atulya Nagar, Jagdish Chand Bansal.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Applied mathematics.,Artificial intelligence.,Engineering.
رده :
QA76
.
9
.
S63
E358
2014
490. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
پدیدآورنده : Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...]et al.[
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
S94
2004
491. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
I38
2000
492. Process Algebra for Parallel and Distributed Processing
پدیدآورنده :
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Mathematics, Computing: Professional & Programming, Algebra, Computer architecture & logic design, Computing: general, Programming languages, Mathematics, Programming Languages - General,، Science
493. Process algebra with timing
پدیدآورنده : by J.C.M. Baeten, C.A. Middelburg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Mathematics.,Discrete-time systems.,System design.
رده :
QA76
.
9
.
S88
B953
2011
494. Progress in applications of boolean functions /
پدیدآورنده : Tsutomu Sasao, Jon T. Butler [editors].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra, Boolean.,Cryptography-- Mathematics.,Data encryption (Computer science)-- Mathematics.,Data mining-- Mathematics.,Logic circuits-- Mathematics.,Algebra, Boolean.,Cryptography-- Mathematics.,MATHEMATICS-- Algebra-- General.
رده :
QA10
.
3
495. Proof and system-reliability
پدیدآورنده : edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer systems -- Reliability -- Congresses.,Computer systems -- Reliability.,Proof theory -- Congresses.
496. Proof technology and computation /
پدیدآورنده : edited by Helmut Schwichtenberg and Katharina Spies.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.
رده :
QA76
.
9
.
A96
N38
2003eb
497. Quantifiers and cognition
پدیدآورنده : Jakub Szymani,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Grammar, Comparative and general, Quantifiers,Language and logic,Semantics
رده :
EBOOK
,
P
.
Q3
,.
S99
299
2016
498. Quantum computing for everyone /
پدیدآورنده : Chris Bernhardt
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Quantum computing, Popular works.,COMPUTERS-- General.,Quantencomputer,Quantum computing.
رده :
QA76
.
889
.
B47
2019eb
499. Quantum computing since Democritus /
پدیدآورنده : Scott Aaronson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Quantum computers,Quantum theory-- Mathematics
رده :
QC174
.
17
.
M35
A27
2013
500. Quantum interaction :
پدیدآورنده : Dawei Song [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Quantum theory, Congresses,Quantum computers-- Congresses,Quantum theory-- Congresses
رده :
Q334
.
Q25
2011
